1 Introduction
Chern-Simons theory in 3d whose classical action is given by
|
|
|
(1.1) |
has a long history. The seminal paper [1] obtained the exact result for the partition function for by indirect methods. Later exact results have been obtained in [2, 3, 4] by various methods (nonabelian localization [5], abelianization, supersymmetric localization [6]) on a large class of three-manifolds. There have also been many works that have aimed to match such exact results with corresponding perturbative results in the large limit [7, 8, 9, 10, 11, 12]. Thus CS theory enables one to test path integral methods against known exact results.
We may generalize abelian CS theory to dimensions by taking the gauge potential to be a -form. When is odd, the gauge field is bosonic. However, when is even, a bosonic gauge field leads to a CS term that is a total derivative since . For even we shall therefore take the -form gauge field to be fermionic and then we have a fermionic CS theory or FCS theory for short. In the first few dimensions these CS and FCS actions, in Lorentzian signature and with canonical normalizations, are given by
|
|
|
|
|
(1.2) |
|
|
|
|
|
(1.3) |
|
|
|
|
|
(1.4) |
|
|
|
|
|
(1.5) |
The most general form of the gauge symmetry variations are
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In addition to the usual exact forms, we shall also include the harmonic forms and in order to have the most general closed forms by the Hodge decomposition [13]. The fact that abelian CS theories in various dimensions form a sequence (1.5) suggests that they could have some common features.
It is in general a quite difficult problem to generalize abelian higher rank gauge fields to nonabelian gauge groups. However, in 5d we automatically solve this problem since 5d FCS is obtained from 5d MSYM theory by performing the maximal twist. By this twist the R-symmetry is identified with the Lorentz symmetry [14, 15]. The twist gives one scalar nilpotent supercharge, which we can identify as the BRST charge associated with the two-form gauge symmetry, and the action can be interpreted as a BRST gauge fixed action for nonabelian 5d FCS theory.
For 3d CS on lens space , the exact partition function is known. From this exact result we can extract the perturbative expansion in . For gauge group , the resulting perturbative expansion for odd, is
|
|
|
|
|
where . This agrees with the perturbative expansion in [8]. We obtained this result from the exact result presented in [2] by expanding it out in powers of but where we suppress the next to leading orders in each sector labeled by . This result can be rewritten in the form
|
|
|
|
|
(1.6) |
Here denotes the unbroken gauge group by the gauge field background and denotes the Ray-Singer torsion of associated with gauge group and the holonomy labeled by . For the lens space we have
|
|
|
|
|
|
|
|
|
|
where
|
|
|
|
|
|
|
|
|
|
To get the torsion for , we shall put and . The unbroken gauge groups are and , whose volumes are
|
|
|
|
|
|
|
|
|
|
We note that corresponds to the equator of . The radius shall be chosen as
|
|
|
|
|
in order to match with the exact result. We can see why this value of the radius is natural up to the factor as follows. We need to rescale to get a canonically normalized action. This can be achieved by rescaling the generators of by the factor . The overall factor is the remnant of the eta-invariant phase shift that results in the famous shift of the CS level from to .
Next we consider 1d FCS on with gauge group and the following action in Euclidean signature
|
|
|
|
|
To compute the Witten index from the path integral, we do not need to use a Faddeev-Popov gauge fixing procedure since we can directly specify the gauge inequivalent gauge field configurations, which are classified by the holonomies
|
|
|
We can pick the gauge inequivalent gauge fields as
|
|
|
|
|
and the path integral reduces to a discrete sum over . This sum is presented in Eq. (3.1). But we can also carry out the standard Faddeev-Popov procedure and if we do that, then we are led to the result
|
|
|
|
|
where
|
|
|
|
|
(1.7) |
|
|
|
|
|
(1.8) |
with
|
|
|
|
|
|
|
|
|
|
As we will show, the two expressions can be made to agree by taking the following radius for the gauge group,
|
|
|
|
|
We notice that this radius takes the same form as we saw for 3d CS.
If we use our conjectured similarity between FCS theories in various dimensions, then we are led to the partition function
|
|
|
|
|
(1.9) |
for 5d FCS with gauge group . We conjecture that the volume factors are on the same form as for 1d FCS when the 5d FCS action is canonically normalized, but we have not been able to explicitly compute the radius for this case. Gauge fixing amounts to adding BRST exact terms that we can also obtain by twisting of 5d MSYM. We will partly be able to confirm our conjecture by a localization computation in section 4.1.
We see that FCS theories differ from CS theories in many ways. Of course we do not know much about CS theories in other dimensions than three. For FCS, the partition function is one-loop exact. There is no phase factor multiplying the contributions from the various holonomy sectors, and there is no Chern-Simons level that can take arbitrary integer values for FCS.
The paper is organized as follows. In section we construct explicit solutions for flat gauge fields on lens spaces in 3d and in 5d. In section we compute the Witten index for 1d FCS. In section we compute the partition function for 5d FCS. In section we discuss applications to higher dimensional knots. In sections and we obtain the mismatch between the 5d partition function and the 6d Witten index that is related to the Ray-Singer torsion.
The appendices contain further details which makes the paper self-contained. In appendix A we review the definition and basic properties of the Ray-Singer torsion. In appendix A.1 we compute the Ray-Singer torsion on in the trivial holonomy sector. In appendix B we present the Minakshisundaram-Pleijel theorem, which we use throughout the paper. In appendices C and D we address the problem of how to properly remove ghost zero modes. In appendix E we review what we need from 3d CS perturbation theory. In appendix F we present further details regarding the dimensional reduction on a circle and the mismatch related to the Ray-Singer torsion in various dimensions.
2 Flat gauge fields on lens spaces
For the lens space , the generator of acts on as
|
|
|
For twisted boundary conditions
|
|
|
|
|
or explicitly
|
|
|
|
|
where we characterize by the integer , the Ray-Singer torsion was first computed by Ray by assuming in [16]. A direct computation has been made in [17, 18]. Lecture notes on the Ray-Singer torsion are [19, 20]. The result is
|
|
|
where we define as an integer such that
|
|
|
|
|
(2.1) |
mod .
The condition (2.1) is also valid for , which is a circle with a twisted boundary condition. We start with the lens space , and twisted boundary condition
|
|
|
|
|
(2.2) |
for some . By an explicit computation using the Hurwitz zeta function regularization, one can find the torsion
|
|
|
|
|
For the lens space we shall consider the twisted boundary condition
|
|
|
|
|
for some . We get this boundary condition by iterating (2.2) times, which gives and the torsion can be written in the form
|
|
|
This extends Ray’s computation, which is valid for , to the case of .
For a general lens space, we can always fix without imposing any restrictions. We then use the notation for the lens space.
We can also compute the Ray-Singer torsion with a trivial holonomy . In this case the result is
|
|
|
|
|
(2.3) |
We show this result by explicit computations in appendix A.1 for and . The case of was addressed in the appendix of the paper [18]. From these results, we conjecture that the above formula will hold for all integers .
Let us now obtain the Ray-Singer torsion for -forms taking values in the fundamental representation of the gauge group . The lens space has the fundamental group and the holonomies are maps from the fundamental group into , labeled by integers for . Alternatively we can consider a partition of where , for , counts the number of indices for which . The twisted boundary conditions are such that the field component carries charge under the that rotates along the Hopf fiber of . The Ray-Singer torsion for is given by the product of the torsions for all the field components . This can be expressed as
|
|
|
where . In the generic situation where all the ’s are distinct so that each , we have . To get the torsion for gauge group, we impose the restriction mod . For we get for some , and all other . The Ray-Singer torsion then becomes
|
|
|
|
|
We will now construct flat gauge fields with nontrivial holonomies for and for . We begin with considering the orbifold with the orbifold identification
|
|
|
|
|
The lens space is defined by the equation in this orbifold. But the lens space is smooth since the orbifold singularity is at the origin, away from the lens space. Let us consider two coordinate patches, and with . On the patch , we define
|
|
|
|
|
|
|
|
|
|
We have the following rectangular -identifications
|
|
|
|
|
|
|
|
|
|
Of course the metric on this is complicated, induced from the flat metric on , but here the metric is not our concern. The above identifications are preserved by the mapping class group . To go to the patch we shall preserve the identifications, and hence the coordinate transformation must correspond to some element of . Indeed this is the case. The transformation that does the job reads
|
|
|
|
|
|
|
|
|
|
where and are chosen so that
|
|
|
|
|
(2.4) |
The existence of such and follows from Bezout’s theorem and the assumption that and are relatively prime.
We have the same torus identifications after the transformation,
|
|
|
|
|
|
|
|
|
|
We get
|
|
|
|
|
|
|
|
|
|
which are coordinates on the patch . In particular we notice that since mod , we realize the lens space identification by taking . Further since and are relative prime, we generate all elements of by taking integer multiples of if we count modulo .
We now seek a flat connection which corresponds to the holonomy
|
|
|
when integrated over the closed path that is specified by (for )
|
|
|
|
|
using the coordinates on , and by
|
|
|
|
|
using the coordinates on .
One such flat connection on the patch is given by
|
|
|
|
|
which is well defined over the entire . Note that over , the collapses to a circle when or and, even in the region near the circle, this connection is well defined. In the overlap region , the coordinate transformed version of is given by
|
|
|
|
|
Again note that over , collapses to a circle when . To make well defined all over , we need to make a large gauge transformation
|
|
|
in the overlap of . Then the connection
|
|
|
|
|
is well-defined all over .
Using (2.4) it is easy to see that
|
|
|
if is in . If is not in , then we compute the holonomy using the expression and if is not in , then we use and we get the same result. Thus we have shown that there exists a flat gauge field on with the above given holonomy around .
In the fundamental representation of gauge group we wish to find a flat gauge field corresponding to the holonomy
|
|
|
|
|
where we define . In the path integral, we shall sum over all gauge inequivalent holonomies. Since the Weyl group, which is a subgroup of the gauge group, permutes the two diagonal elements in the holonomy, we see that gauge inequivalent holonomies are obtained by restricting the range to where if is even, and if is odd. If is even, then we find two elements in the center, and . If is odd, the only element in the center is .
A corresponding flat gauge field in the fundamental representation of is given by
|
|
|
|
|
For gauge group, flat gauge fields on the lens space are classified by the holonomy around the Hopf fiber
|
|
|
|
|
where . These take values in . The Chern-Simons action is given by
|
|
|
|
|
in Euclidean signature. This action has been explicitly computed for on a flat gauge field in [21]. The result is
|
|
|
|
|
This result is nontrivial, despite and so the CS action would naively be zero. But the above definition of the CS action is not entirely correct when we need to cover the manifold with many patches and the gauge field is related by gauge transformations as we pass from one patch to another. A better way to define the CS action in such a situation, is as where . Here does not have to vanish on . For the detailed construction of , we refer to [21].
For gauge group the value of Chern-Simons action has been obtained for a flat gauge field corresponding to the holonomy
|
|
|
|
|
for all lens spaces in [22]. The result is
|
|
|
|
|
where mod . For we have and
|
|
|
There is a factor compared to the case, which we can understand as follows. The CS action on this flat gauge field with the above holonomy is given by
|
|
|
where denotes the gauge field. We may also notice that the minus sign in the second step is consistent with taking to in the resulting CS action for the lens space . The lens spaces and are related by parity, which flips the sign of .
We now move on the . We view as a circle bundle over that we can cover with three patches
|
|
|
|
|
The lens space is defined as where
|
|
|
|
|
(2.5) |
On we use the coordinates
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The lens space identification (2.5) is obtained by taking . The coordinates and may be used on all three patches if we understand that their ranges are different depending on the patch,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The coordinates take values in a three-torus . We map from to by the following coordinate transformation
|
|
|
|
|
where and are such that
|
|
|
|
|
(2.6) |
Since is the mapping class group of , we have and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and the lens space identification (2.5) is obtained by taking .
We map from to by the following transformation,
|
|
|
|
|
where and are such that
|
|
|
|
|
(2.7) |
Then we get
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
By using mod , we find the lens space identification (2.5) by taking .
The map from to can be obtained by composing the map from to (the inverse of the map from to ) and the map from to .
In the overlap , we take the gauge field as
|
|
|
|
|
Just as we did in 3d case, here again we shall remove Dirac string singularities in order to have a well-defined gauge potential on the patches and . Thus we define
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
On the overlap regions these gauge fields are related by large gauge transformations. The path along which we integrate the holonomy is expressed as follows in the three coordinate patches respectively as follows,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where . The holonomy remains the same after the large gauge transformations and is the same irrespectively of which patch we compute
it in and is given by
|
|
|
To see this, we use the relations (2.6) and (2.7).
For gauge group we also have a flat gauge field that we get simply multiplying the flat gauge field by the matrix diag and for gauge group we have the flat gauge field
|
|
|
|
|
Thus we find that to each possible holonomy
|
|
|
around the fiber of , there is a corresponding flat gauge field, which is defined on each coordinate patch and related to different patches by gauge transformations.
3 One-dimensional fermionic Chern-Simons
Before turning to the more complicated case of 5d FCS, we will consider 1d FCS, that is, quantum mechanics with one real fermion. Let us consider a hermitian operator subject to the algebra
|
|
|
|
|
and assume that there is one state . Acting with we get another state . It is not possible for to annihilate , since by acting twice by we shall get back . If we act by on we get by using . Let us normalize the state as . Inserting , we get . We have as a consequence of the requirement that the matrix realization of shall square to the identity matrix. We have the completeness relation
|
|
|
|
|
We introduce a Grassmann odd parameter such that which we can integrate over with the usual rules
|
|
|
|
|
|
|
|
|
|
We have the anticommutativity property,
|
|
|
|
|
We define the state
|
|
|
|
|
The conjugate state is
|
|
|
|
|
We have the following properties
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The partition function can be written as
|
|
|
|
|
|
|
|
|
|
We use the completeness relation which absorbs all the operators and we get
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We can compute this partition function for any odd integer and always get the same answer,
|
|
|
|
|
which counts the number of states. In the limit , we get the path integral
|
|
|
|
|
where we take the antiperiodic boundary condition and the FCS action is given by
|
|
|
|
|
Here is a real parameter that will be determined by matching with canonical quantization. Since the fermionic fields are anticommuting, the FCS action is purely imaginary. We find that this choice is necessary in order for the partition function to become a real number. We compute the path integral by expanding the field in orthonormalized modes with respect to the metric (or line element) . Our mode expansion reads
|
|
|
|
|
The action is
|
|
|
|
|
We compute this using Hurwitz zeta function as follows,
|
|
|
|
|
where we choose the fermionic measure as
|
|
|
To match with the result from canonical quantization, that is , we shall take .
Let us next compute the Witten index. We define a fermion number operator as
|
|
|
|
|
|
|
|
|
|
This means that
|
|
|
|
|
|
|
|
|
|
The Witten index is
|
|
|
If we then follow through the same steps as above, we end up with the same path integral but with the boundary condition and in that case we get
|
|
|
|
|
when we compute the resulting expression for any odd number of steps. This is easy to see for . Then the exponent becomes and the integration over and yields zero.
Since , we can introduce projection operators
|
|
|
|
|
Orthonormalized eigenstates of are
|
|
|
|
|
Now , and maps the two states into each other, . We have the projected Witten index
|
|
|
We can imagine a different definition where we instead define . With this definition we declare is bosonic and is fermionic and then we get
|
|
|
To connect with the path integral, an attempt would be to define
|
|
|
|
|
since then, by using ,
|
|
|
|
|
which leads to a path integral with periodic boundary condition. However, the action turns out to become nonlocal.
Let us next compute the Witten index by taking out the zero mode. We then consider the path integral
|
|
|
|
|
with periodic boundary condition. We expand the field in modes
|
|
|
|
|
The action becomes
|
|
|
|
|
The index becomes
|
|
|
where we use the fermionic measure
|
|
|
Now we have gauge fixed a fermionic zero mode. As we illustrate in the appendix C, when we do this, we shall also divide the result by the volume of the gauge group. Here the gauge group depends on the context. If the gauge group is trivial, we shall not divide by anything. But if the gauge group is acting trivially on in the adjoint representation, then we shall divide by its volume .
Let us now consider the following nonabelian generalization with the action
|
|
|
|
|
where the trace is taken in some representation of the gauge group. We define where is a background gauge field. Let us now restrict to the gauge group and let the gauge field be where . We expand and find
|
|
|
|
|
|
|
|
|
|
Let us assume the generators are in the fundamental representation, , of and let us normalize the generators so that and . Then the action becomes a sum of two terms, where
|
|
|
|
|
|
|
|
|
|
The holonomy is
|
|
|
|
|
where . The Witten index splits into a product . From the previous result we get from the contribution . From we get
|
|
|
for , where in the last step we used zeta function regularization. This does not depend on . We also know that the Witten index shall be from canonical quantization, since this is the sum over two states, spin-down and spin-down, with a relative minus sign as we are computing a Witten index. This gives the sine function multiplied by the factor of . The sign depends on how we define the fermion number when we define the Witten index – whether the spin-up state is taken as the fermionic or the bosonic state.
For general gauge group, holonomy in the representation , the Ray-Singer torsion on is given by [23, 24]
|
|
|
|
|
If we specialize this formula to the fundamental representation of , then this yields
|
|
|
We see that up to a phase factor , the fermionic Chern-Simons action computes the square root of the RS torsion on .
We can restrict ourselves to in which case we can view this as the torsion of the lens space . The partition function is given by
|
|
|
|
|
(3.1) |
where
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This expression is explained as follows: when we get the zero mode contribution from , whereas when we get the zero mode contribution only from . We note that inside is generated by , so for we divide by but for we do not divide by since there is no associated with . We get the squared expression as can be understood by rewriting the Lagrangian in terms of real spinor components: . Now we can write this in the form
|
|
|
|
|
(3.2) |
where the radius of and the volume shall be taken as
|
|
|
|
|
(3.3) |
|
|
|
|
|
(3.4) |
To show this result, we need to notice that lies in the upper halfplane for all values . The overall phase factor is should somehow come from the BRST gauge fixing of the fermionic zero mode, since that gives the same factor for all the holonomy sectors. We notice that by requiring coincides with we have to fix . For this value the abelian FCS action becomes
|
|
|
|
|
which is both real and canonically normalized.
4 Five-dimensional fermionic Chern-Simons
In [14] we found that maximally twisted 5d MSYM gives a 5d fermionic Chern-Simons theory. This is a topological field theory. We are now interested in its partition function. Since the action is topological, the partition function should be a topological invariant of the five-manifold .
Let us begin with assuming the gauge group is . If we introduce the linear combinations
|
|
|
|
|
|
|
|
|
|
then the Lagrangian can be expressed as
|
|
|
where the fermionic Chern-Simons term is
|
|
|
|
|
and the gauge fixing fermion that arises from twisting of 5d MSYM is given by
|
|
|
|
|
By an integration by parts we can write this as
|
|
|
|
|
which is on the form that shows that this will correspond to the gauge fixing condition
|
|
|
|
|
The BRST variations, which are inherited from the 5d MSYM supersymmetry upon twisting, read
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
While these fix the two-form gauge symmetry for , they still leave a residual gauge symmetry for which we need to further BRST gauge fix. We do that in the usual fashion by adding the anticommuting and ghosts and the auxiliary field for which we have the standard Yang-Mills BRST variations
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
These are nilpotent, and they commute with the supersymmetry variations, . A convenient choice for this second gauge fixing fermion is
|
|
|
|
|
We then get
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and . The full Lagrangian is
|
|
|
|
|
We now integrate out and then . We then end up with
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We then take to get the bosonic part of the action as
|
|
|
|
|
The action for the fermions can be written in the form
|
|
|
|
|
where and
|
|
|
|
|
is a hermitian operator that squares to
|
|
|
|
|
We get the following contributions to the partition function,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
coming from the fields , the Yang-Mills gauge field , and the fermionic fields respectively. In these determinants, we can find zero modes. We will assume that and that all the other Betti numbers are vanishing. This includes the lens spaces. In this case we have zero modes only coming from , which appears in both the fermionic part as well as the ghost part coming from the gauge fixing of the YM gauge potential. These are all fermionic ghost zero modes, which appear as a result of trying to gauge fix a gauge symmetry by a gauge fixing function that has a zero mode. These ghost zero modes come from fermionic ghosts associated with the gauge fixing of the fermionic two-form gauge symmetry and the YM gauge symmetry respectively. We should remove all ghost zero modes by further BRST gauge fixing. We present in detail how this is done in the appendix D. We define
|
|
|
where is defined in (4.5) below and primes are used to indicate that zero modes are taken out from the determinants. The full partition function is obtained by dividing by the volume of the gauge group bundle
|
|
|
(4.3) |
In the appendix C we argue that when we take out a fermionic ghost zero mode that is associated with a gauge fixing that leaves a residual gauge symmetry, we shall divide by a corresponding volume factor of the unbroken gauge group. See also [8], [9], [10], [11] and the lectures [25]. Now this result has been applied to nonabelian 3d CS perturbation theory where we expand around some flat background gauge field and the unbroken gauge group refers to the stability group for that background gauge field. But here we have an abelian gauge group and perhaps then the background field may be thought of as the gauge field is zero, around which we ‘expand’ to quadratic order (that is, abelian theory with no interactions). That background gauge field being zero, does not break the abelian gauge group, so we have to divide by it. That is, we divide by the volume . Now the factor in the partition function has only a contribution coming from the oscillator modes since the zero modes have been taken out (or gauge fixed away). But we anticipate the full partition function will involve the Ray-Singer torsion which has both a zero mode part and an oscillator mode part. Indeed the zero mode contribution to the Ray-Singer torsion comes from the division by . As explained in [25]
(Eq. (3.64) in the arxiv version v5), we have
|
|
|
|
|
so we get
|
|
|
where is the Ray-Singer torsion, composed of the zero mode and the oscillator mode contributions
|
|
|
|
|
(4.4) |
|
|
|
|
|
(4.5) |
The Ray-Singer torsion is independent of the volume, but the determinants do depend on the volume. If denotes a typical length scale of , then all the Laplacians will scale like , and so
|
|
|
where . Both steps in the above relation are nontrivial. We refer to appendix B for more details. Let us now consider the oscillator mode contribution to the Ray-Singer torsion,
|
|
|
Thus this will have a nontrivial dependence on , that we need to cancel by multiplying by a zero mode contribution. Let us assume that and all other Betti numbers are zero. Then
|
|
|
We thus need the zero mode contribution to be
|
|
|
to cancel the dependence on , as . We verify explicitly this dependence on for the case that in the appendix A.1 where we get
|
|
|
|
|
|
|
|
|
|
The full partition function on for abelian gauge group is now
|
|
|
(4.6) |
Here the factor of comes from summing over all holonomy sectors . For abelian gauge group, the Weyl group is trivial and so we do not cut the sum at as we do for gauge group. Since all fields are in adjoint which is trivial for gauge group, all holonomy sectors give rise to the same result and we just sum them up which leads to a factor of . The partition function is independent of and it is a topological invariant.
4.1 Nonabelian gauge group
For a nonabelian gauge group with all the fields transforming in the adjoint representation we introduce the covariant derivatives
|
|
|
|
|
|
|
|
|
|
The nonabelian fermionic Chern-Simons Lagrangian is given by
|
|
|
where
|
|
|
|
|
and the gauge fixing fermion is chosen as
|
|
|
|
|
The 2-form BRST variations read
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
As before these fix the two-form gauge symmetry for , and we need to fix the residual gauge symmetry for the one-form . The standard Yang-Mills BRST variations would not commute with the above 2-form BRST variations, so instead we take these one-form BRST variations as
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
These are still nilpotent, but now these also commute with the 2-form BRST variations, . A convenient choice for the second gauge fixing fermion is
|
|
|
|
|
which gives
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Then integrating out puts and then integrating out puts . Thus after integrating out all the auxiliary fields, we get
|
|
|
|
|
|
|
|
|
|
Preserving just one scalar real supercharge (or BRST charge), we can put the 5d FCS theory a generic five-manifold , which has no isometries. Then supersymmetric field configurations satisfy
|
|
|
|
|
|
|
|
|
|
Here
|
|
|
|
|
so that the BPS equations become
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
This says that shall be a harmonic one-form. If we assume that the first cohomology group is trivial, this implies that
|
|
|
|
|
|
|
|
|
|
and the only BPS configurations are flat connections.
Let us now assume that is a K-contact manifold. Then it has a unit normalizable Killing vector . if is the metric, then we define a contact one-form as and unit norm means . Now in addition to the flat connections, we now also have contact instantons [26] as saddle points, satisfying
|
|
|
|
|
|
|
|
|
|
We can add further BRST exact terms which will enhance the supersymmetry to two supercharges [14] and then the contact instantons can become supersymmetric solutions. Yet these instanton configurations are never localization points since the BRST exact part of the action is always nonzero on these instantons. These contributions will become exponentially suppressed and in the localization limit their contribution to the partition function becomes zero. This may sound counter-intuitive since the Yang-Mills action evaluated on contact instantons is proportional to where is the radius of and is the radius of the time-circle along which we reduce from 6d to 5d. Small instantons correspond to Kaluza-Klein modes under dimensional reduction from 6d. This suggests that the value of the classical Yang-Mills action in 5d theory could have a physical interpretation as a Kaluza-Klein momentum. But this is in contradiction with the fact that the Yang-Mills term sits in the BRST exact part of the Lagrangian and the fact that we can rescale the BRST exact part at our wish without affecting any physical observables. Then the ratio can not have any invariant significance. This is not a contradiction though, since nothing depends on radius since the theory is topological over and the ratio has no invariant physical meaning.
Assuming gauge group , then on we can have holonomies
|
|
|
|
|
labeled by integers subject to the identification . Unlike the case with 3d CS classical action when evaluated on a flat gauge field, which gives a phase when exponentiated, here we have the 5d YM action which is vanishing on a flat gauge field. The whole action is vanishing on the flat gauge field background.
Now we can apply the localization method as follows. We write the full Lagrangian as where
and is a parameter on which nothing depends. We may then take . Then the path integral localizes to localization points where and its first derivative is zero. For this argument to work, we need , which, we have assured ourselves, is the case. All the sectors with nontrivial holonomies are kept since at these localization points we have .
It remains to compute the one-loop determinant for the fluctuations around flat gauge field backgrounds. We rescale all the fluctuation fields around the classical flat gauge field background by the factor . This has the effect of rescaling the FCS term by . Taking large, we can neglect all higher order interaction terms in the fluctuation fields and only consider the one-loop approximation which becomes exact as we take to infinity. If we denote by , then the fermionic operator becomes
|
|
|
|
|
whose square is
|
|
|
|
|
if being understood that these Laplacians are given in terms of the background gauge field by . Let us put that we would like take towards zero in order to localize the path integral. We now have to consider the following determinant
|
|
|
We have the following result (see Eq. (B.2) in the appendix B.1)
|
|
|
Also, from
|
|
|
|
|
we can iteratively deduce the scaling behavior of , starting with
|
|
|
|
|
which is valid simply because . Then we get iteratively
|
|
|
|
|
|
|
|
|
|
and so in particular we get
|
|
|
We then get the following contributions to the partition function,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
These are the contributions from the fields , the Yang-Mills part , and the fermionic part, respectively. We find zero modes, which we take out. Then multiplying the contributions together gives the following oscillator mode contribution to the partition function
|
|
|
It now seems that depends on a coefficient that we will take to infinity. (We will assume that , and let us also recall that where represents the background gauge field and is the isotropy group preserving this background gauge field.) No matter how small we make , the contribution from the FCS-term can not be neglected when we compute the one-loop determinant. The normal situation in supersymmetric localization is that we can neglect the contribution from the original action when we compute the one-loop determinants and only the BRST exact terms contribute to the one-loop determinants. The quadratic terms that sit in the original action are suppressed by the factor compared to the quadratic terms that sit in the BRST exact terms. Here the situation is different since there are no terms that are quadratic in in the BRST exact part of our Lagrangian. The leading quadratic term in is in the original FCS-term, so this contribution can not be neglected when we compute the one-loop determinant, and hence our dependence on the coefficient . But in our computation we forgot to take into account a corresponding rescaling in the path integral measure. If we rescale all the modes, then this has no effect on the measure. Since our manifold is compact, the modes form a countable set. Let us label the modes by an integer . Then the measure receives a product factor by rescaling all the modes by a factor of . When we take out a zero mode , the product starts to depend on as . Since there are zero modes in total, we get from the path integral measure the factor . The precise way to see this is by expanding in mode functions that are eigenmodes of the laplace operator on , and then use zeta function regularization for the infinite product over nonvanishing eigenmodes (nonzero modes) of ,
|
|
|
where in the last step we used the Minakshisundaram-Pleijel theorem (see appendix B.1). Now the exponent has the wrong sign – we need to cancel the above -dependence from the determinants. But this is actually what we have since the contribution to the zero modes comes from fermionic fields rather than from bosonic fields. For fermionic fields we have the following property when we rescale the field, the differential in the measure is rescaled by the inverse factor. So for fermionic fields we will encounter the product instead and this gives us the desired factor of that cancels out all the dependence on .
Our Laplacian operators are defined in a flat gauge field background. Alternatively we consider fields that are satisfying twisted boundary conditions along the Hopf circle. We shall sum over all gauge inequivalent flat gauge field backgrounds. For gauge group and lens space that amounts to a sum over flat gauge fields that we constructed explicitly in section 2 and which are labeled by assuming is odd. We need to multiple by a factor that is obtained by dividing by the volume factor [25]
|
|
|
|
|
where denotes the subgroup of the gauge group that leaves the background gauge field invariant. For gauge group , these volume factors are
|
|
|
|
|
for and
|
|
|
|
|
for . The Ray-Singer torsion for gauge group is given by (1.8), which we can separate into a zero mode factor and an oscillator mode factor for each as
|
|
|
|
|
|
|
|
|
|
where . The resulting partition function becomes precisely of the form presented in Eq (1.9). Unlike the case for 3d CS, for 5d FCS this one-loop result is exact by the localization principle.
It remains the question of the normalization of the 5d FCS term, or equivalently, the question of the radius of the gauge group. We will not fully solve this problem, but will be able to derive the dependence on , where we normalize the 5d FCS term as
|
|
|
This leads to a determinant
|
|
|
(4.9) |
in the space of non-harmonic two-forms. The -dependence of the determinant (4.9) can be inferred from
|
|
|
|
|
together with the formula
|
|
|
|
|
Then for and being the dimension of the unbroken gauge group, this leads to the -dependence . Unlike the dependence on above, the dependence on is genuine. The reason why, is that multiplies the FCS term, while multiplies the BRST exact terms. Also here we did not need to rescale the field and so we did not change the path integral measure as we did when we extracted the dependence on .
Let us compare this dependence on with the dependence on for 3d CS perturbation theory. There we have the CS term
|
|
|
where represents a fluctuation of the gauge field around the background . This leads to the determinant
|
|
|
|
|
and we get the -dependence (assuming that ), which is of the same form as we found for 5d FCS. That suggests that as an alternative to our localization compuation, we should also be able to study 5d FCS theory using perturbation theory in a small coupling .
6 Uplift to six dimensions
The maximal twist of the M5 brane theory amounts to identifying the R-symmetry group with the in the Lorentz group. Once this twist is done, we can preserve one scalar supercharge on any Lorentzian six-manifold with metric
|
|
|
|
|
The action is
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
where denotes a 6d Laplacian. Here and are ghosts for the two-form gauge field , and , and are ghosts-for-ghosts [28, 29]. The relative coefficients of the full action are fixed by supersymmetry and by the requirement that, upon dimensional reduction from down to , we get 5d SYM theory (on flat space, twisting is trivial) with canonically normalized fields. For this twisted theory we have just one real supercharge. The term for the two bosonic ghosts and is not of the standard form. But by using the identity
|
|
|
this term can be replaced as
|
|
|
|
|
without changing the value of the path integral.
The action for the fermions can be written in the form
|
|
|
|
|
where and
|
|
|
|
|
is a hermitian operator that squares to
|
|
|
|
|
We will now compute the Witten index using the path integral quantization. Since there are zero modes that we take out, we need to be careful with normalization of the path integral. Our normalization of the path integral will be that which for finite dimensional integrals corresponds to
|
|
|
|
|
|
|
|
|
|
In other words, we will get determinants without any extra multiplicative factors, when the action is canonically normalized. It turns out that all terms in our action have the canonical normalization. One can see this by computing the Dirac brackets. One then find the canonical commutation relations, which means the kinetic terms in our action are canonically normalized. This also amounts to no extra factors appear when we compute the path integral and get determinants. We get from the path integral the following results
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
In reality the M5 brane action has a fixed coupling constant, and the canonical normalization of the action is not correct. However, when , those effects caused by selfduality disappear and we may assume the action has been canonically normalized by an appropriate rescaling of the fields.
For the two-form there is a gauge symmetry, and we have to factor out the volume of the corresponding G-bundle over the six-manifold when we compute the path integral over all gauge redundant field configurations. But after BRST gauge fixing, such a volume is factored out from the path integral, and then canceled by dividing the path integral by . The upshot is that we never see in the final result after the cancellation of these volumes has taken place. If we multiply together all contributions, we find that all determinants cancel and we are left with
|
|
|
We note that there are both fermionic as well as bosonic zero modes. They appear in the determinants in the fermionic contribution as well as in the contribution coming from . These zero modes are canceled since these determinants exactly cancel. Hence we do not need to remove ghost zero modes by hand and consequently we do not divide by an extra volume factor as we did in the corresponding abelian 5d theory, Eq (4.3), where we took out ghost zero modes by hand.
Now we have an interesting mismatch between the 6d Witten index and the corresponding 5d partition function given in eq (4.6). A conjecture is that 5d MSYM is precisely the same thing as 6d (2,0) theory on a circle [30], [31]. Here we have only one supercharge, so we are not addressing the conjecture in its original form which keeps supercharges. But our theories are nevertheless related, so it is interesting to find a mismatch here. The origin of this mismatch lies in how a selfdual 2-form in 6d reduces to a Yang-Mills gauge field in 5d, which we can demonstrate explicitly only by assuming the gauge group is abelian.
7 Dimensional reduction of selfdual two-form
The 6d and 5d partition functions of a 2-form and of a 1-form potential, respectively, are
|
|
|
|
|
|
|
|
|
|
Gauge fixing shall be extended to include any ghost zero modes as well, which then gauge fixing will take out as indicated by the primes. If we dimensionally reduce a selfdual 2-form in 6d, down to 5d, we get a 1-form gauge potential in 5d. Let us expand the -form Laplace operator on the Euclidean six-manifold as
|
|
|
|
|
We then note the relation
|
|
|
|
|
This means that if we put to get the dimensionally reduced theory, then the 6d partition function of the selfdual 2-form reduces to
|
|
|
|
|
where now the Laplacians are on , and where we took the square root of the non-chiral two-form partition function. Naively we would expect to get the partition function of the 5d Maxwell theory, . To see whether this is really true, let us form the ratio,
|
|
|
|
|
This quantity is related to the oscillator mode contribution to the Ray-Singer torsion of , which is defined as
|
|
|
|
|
where is the dimension of the manifold in our case. By using the relation which follows from the fact that commutes with the Laplacian and maps a -form to a -form in a one-to-one fashion, the Ray-Singer torsion becomes
|
|
|
|
|
We now see that
|
|
|
|
|
(7.1) |
This relation does not explain the emergence of the zero mode contribution to the Ray-Singer torsion. The relation that we wish to have reads
|
|
|
|
|
Then we use that and we get
|
|
|
|
|
Indeed, we have argued that the full supersymmetric partition functions are given by
|
|
|
|
|
|
|
|
|
|
We divide the 5d partition function by the volume of the gauge group bundle since we take out gauge zero modes. For 6d case the zero modes are canceling out so we do not divide by a correponding volume there. Now this leads us back to the relation (7.1).
As we show in appendix F, this can be generalized to selfdual -form potential in dimensions for where we have
|
|
|
|
|
In dimensions () things work differently. While in dimensions we have in Lorentzian signature, in dimensions we have in Euclidean signature. For a selfdual -form potential in dimensions the relation is
|
|
|
|
|
Let us now assume we reduce a selfdual gauge field in 4d down to a scalar field in 3d. Now the abelian scalar in 3d is not a gauge field and does not require gauge fixing, but the gauge field in 4d does require gauge fixing. So now we shall divide the volume factor on the 4d side, not on the reduced 3d side. So we have the relations
|
|
|
|
|
|
|
|
|
|
Since , the volume factor now combines with into the full Ray-Singer torsion up to a factor of , the radius of the circle along which we reduce. Note that it appears we should not not take the square root of the above volume factor as one might have expected when the gauge field is selfdual.
Finding the nonabelian generalization of this dimensional reduction will be very interesting. We believe that the 6d Witten index is for any nonabelian gauge group. Knowing the 5d partition function, we may infer that the mismatch comes from reducing a nonabelian selfdual two-form to 5d nonabelian YM gauge field. This can give some clues about what is the nonabelian selfdual two-form.
Acknowledgements
We would like to thank Dongmin Gang, Luca Grigoulo, Jeong-Hyuck Park, Domenico Seminara, and Masahito Yamazaki for enlightening discussions.
D.B. was supported in part by IBS-R018-D2 and NRF Grant 2017R1A2B4003095.
A.G. was supported by the grant “Geometry and Physics” from the Knut and Alice Wallenberg foundation and IBS-R018-D2.
Appendix A The Ray-Singer torsion
Lecture notes on the Ray-Singer torsion are [19, 20]. Here we summarize what we need for our purposes. Let be a compact smooth oriented manifold of dimension without boundaries.
Let be a basis of harmonic -forms on , with corresponding dual cycles in the homology of . We define the inner product of two -forms as
|
|
|
|
|
We now have a matrix for each (which may be empty if there are no harmonic -forms on ). We define the Ray-Singer torsion as
|
|
|
|
|
where
|
|
|
|
|
|
|
|
|
|
and where
|
|
|
|
|
A second expression for the Ray-Singer torsion can be obtained if we decompose the Laplacian in the space of non-harmonic forms as
|
|
|
|
|
Here
|
|
|
|
|
|
|
|
|
|
where . We have
|
|
|
|
|
Since , we have and hence only the coexact part of contributes. Therefore
|
|
|
|
|
(A.1) |
and so we have
|
|
|
|
|
(A.2) |
If we use (A.2) and also note that is trivial, we get
|
|
|
|
|
If is coexact, then is exact and we have and isomorphism between coexact forms and exact forms that implies that
|
|
|
|
|
Moreover, by using the relation (A.1) we find that
|
|
|
|
|
(A.3) |
We can use this relation to get
|
|
|
|
|
Hence, for even dimensions we have . Also if is even, we get by Poincare duality, and so .
A third expression for the Ray-Singer torsion is expressed in terms of the Minakshisundaram-Pleijel zeta function of the Laplacian acting on -forms on ,
|
|
|
|
|
Here the sum runs over nonzero eigenvalues of the Laplacian. Then we define
|
|
|
|
|
and we have
|
|
|
|
|
We now review the proof for the metric-independence of the Ray-Singer torsion that can be found in [20]. The proof shows the necessary structure of in the presence of zero modes. It shows that has a certain ambiguity. This ambiguity can be fixed by imposing an extra condition, as we do in Eq. (A.4).
We assume that the dimension is odd and we begin by assuming that there are no zero modes. We note that
|
|
|
|
|
and so we have
|
|
|
|
|
Let parametrize a one-parameter family of metrics. The Hodge duality operators depends on the metric and hence on . We may emphasize that by writing it as . We now define the operator
|
|
|
We have
|
|
|
|
|
|
|
|
|
|
which for odd yields
|
|
|
|
|
|
|
|
|
|
Consequently and
|
|
|
|
|
After some computation where one uses cyclicity of trace and the fact that and commute with , it follows that
|
|
|
|
|
and further that
|
|
|
|
|
For odd we have a theorem that says that the integral of this expression has no pole in at . Therefore we have a double zero at since . Therefore
|
|
|
|
|
proving metric independence of the analytic torsion.
If there are zero modes, then we have to first project those out from the definition of the analytic torsion. Let be the projection from forms in to harmonic forms in . Then we replace above with . Formal manipulations now yield a nonzero contribution from the metric variation of the analytic torsion which is
|
|
|
|
|
The integral is now elementary, and formally we have
|
|
|
|
|
What we really do here is to compute the integral in the domain of where it is convergent and then we continue that result analytically in . We then have
|
|
|
|
|
By noting that we see that
|
|
|
|
|
and so now we have
|
|
|
which is nonzero. We then need to add a zero mode contribution whose variation cancels the above variation to get a metric-independent Ray-Singer torsion. Let us define
|
|
|
|
|
where is a metric-independent and orthonormal basis of Harmonic -forms at ,
|
|
|
|
|
where we define
|
|
|
|
|
Then
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and so we find its metric variation evaluated at as
|
|
|
which precisely cancels the metric variation of the analytic torsion. This completes the proof.
However, is not uniquely fixed by the requirement that form an orthonormal basis at , since there are many ways that we can introduce a parameter and the metric is not uniquely fixed by the condition . To improve this situation, we will fix the point by the requirement
|
|
|
|
|
(A.4) |
A.1 Explicit computations
Let us compute the Ray-Singer torsion for a circle with the metric . The Hodge operator acts as and . We have
|
|
|
|
|
which can be computed using zeta function regularization with the result
|
|
|
|
|
Note that depends on the metric. We need to multiply by to get a metric-independent result. On there are 0-form and 1-form zero modes
|
|
|
|
|
|
|
|
|
|
These are chosen such that they are orthonormal at where the circumference is one, , and hence corresponds to the point . For example, we could let . For a generic radius , we get
|
|
|
|
|
|
|
|
|
|
Then
|
|
|
|
|
and we get
|
|
|
which is independent of the metric.
Let us now compute the Ray-Singer torsion for . First we compute
|
|
|
|
|
We can compute this knowing the eigenvalues,
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and the degeneracies
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
of the spherical harmonics. Here and we see that we have one zero eigenvalue with degeneracy . We will take out this zero mode. Furthermore, since and , the contribution from the remaining modes with gives simply a multiplicative factor of that we can forget about. Then the rest becomes
|
|
|
|
|
Before we apply zeta function regularization, we shift such that we get the sum in the form
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Using Mathematica we find that this simplifies to
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Now we apply zeta function regularization on the infinite sum, and get
|
|
|
|
|
We notice that this is the volume of . We shall now choose normalization for our harmonic forms on . These are
|
|
|
|
|
|
|
|
|
|
where denotes the volume-form of the unit five-sphere. Then
|
|
|
|
|
|
|
|
|
|
and we get
|
|
|
and so we get
|
|
|
|
|
For which is again a circle, we have shown that we have .
Let us now proceed to . For the zero mode part, as our harmonic -forms, we take
|
|
|
|
|
|
|
|
|
|
Then
|
|
|
|
|
|
|
|
|
|
From this we get
|
|
|
|
|
Let us now turn to the oscillator modes (and let us temporarily put the radius ). We define
|
|
|
|
|
as the dimension of the representation labeled of . We then introduce the following refined dimensions of representations of [32],
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We then define
|
|
|
|
|
For these are
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and for they are
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and for higher values of we may obtain corresponding, but much more complicated, expressions for the dimensions of the representations for spherical harmonics on . We notice that the result for reflects the fact that we keep those spherical harmonics which are even under if we embed into with complex coordinates (). For the scalar and two-form, these are spherical harmonics of even degree, while for the vector spherical harmonics, those are of odd degree .
We then define
|
|
|
|
|
and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We computed these quantities up to with Mathematica. If we define , then we can express the results as
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
and
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Also, for , we get
|
|
|
|
|
Putting these results together, we find that, at least up to ,
|
|
|
|
|
which by zeta function regularization leads to
|
|
|
|
|
We believe this formula is valid for any positive integers although we have checked it only for . Combining this with the zero mode contribution , we get
|
|
|
|
|
Our results on and are now consistent with a general formula for the Ray-Singer torsion on ,
|
|
|
|
|
which we stated as a conjecture in the main text as Eq. (2.3).
Appendix C Partial gauge fixing by the Faddeev-Popov method
Here we illustrate a general theorem in [11] by a very simple example that we borrow from the appendix in [8]. We consider the ‘path integral’ in zero dimensions with target space ,
|
|
|
|
|
where is a gauge symmetry and is its volume. If we assume that is a minimum for the ‘action’ , then the saddle point approximation gives
|
|
|
|
|
which is a good approximation when is large.
On the other hand, we can use the gauge symmetry that acts on the ‘fields’ as
|
|
|
|
|
to fix the gauge . By the Faddeev-Popov procedure, we begin by defining a gauge fixing function
|
|
|
|
|
From
|
|
|
we read off the FP determinant
|
|
|
|
|
Inserting into the path integral, we get
|
|
|
We write
|
|
|
and expand about to get
|
|
|
The action involves the following matrix
|
|
|
|
|
Then
|
|
|
which agrees with the saddle point approximation.
Let us now instead assume that the global minimum of the action as at . In this case
|
|
|
|
|
and
|
|
|
|
|
and the general formula
|
|
|
becomes ill-defined since there is a fermionic ghost zero mode of as well as a bosonic zero mode in . As a first try, we take out all those zero modes. Then we get
|
|
|
|
|
(we shall define the determinant of an empty FP matrix to be since that means we are not gauge fixing anything) and
|
|
|
|
|
and we would arrive at the result
|
|
|
where primes indicate that the zero modes are taken out. It turns out that this gives almost the correct answer. We can compute for large without gauge fixing the gauge symmetry at all,
|
|
|
|
|
In this case the FP determinant is trivial,
|
|
|
|
|
while the matrix is given by
|
|
|
|
|
Then the result can be expressed as
|
|
|
|
|
Thus what we were missing above when we took out the zero modes, was to divide by a volume factor .
This simple 2d example shows two special cases of a more general result [11]. When the gauge symmetry is fully gauge fixed by a saddle point solution (in the above example, ), we get
|
|
|
|
|
If on the other hand the gauge symmetry is not gauge fixed at all by the saddle-point solution (in the above example, ), we get
|
|
|
|
|
In quantum field theories, the gauge symmetry is an infinite-dimensional local symmetry at each point on the manifold and then we denote such a gauge symmetry as which is a -bundle over the manifold. But we can consider quantum theories that are not field theories, and whose gauge symmetry is not a local symmetry but can be any reduntant description of the quantum theory. For gauge groups bigger than , there can also be intermediate cases where the gauge symmetry is only partially gauge fixed. For those cases we have
|
|
|
|
|
where is the subgroup of the gauge symmetry that is not gauge fixed by the saddle point solution. To illustrate such a case we need a bigger gauge group than in order to have a proper subgroup. Let us consider an example with gauge symmetry,
|
|
|
|
|
The saddle point approximation gives
|
|
|
|
|
The gauge group that acts as
|
|
|
|
|
Here we have the coordinate ranges, , and . If we fix the gauge , there will be a residual gauge symmetry whose rotations are parametrized by the angle . The rotations of the points at (the north and the south poles) are given by
|
|
|
|
|
To fix the gauge partially by imposing , we define two gauge fixing functions
|
|
|
|
|
|
|
|
|
|
We have
|
|
|
where is the Jacobian
|
|
|
|
|
At the points this becomes
|
|
|
|
|
We then write
|
|
|
where
|
|
|
is the Haar measure of . Then we make a gauge rotation of the action and use the gauge invariance, which enables us to isolate an integral over the Haar measure alone, and put everywhere else. This way we get
|
|
|
|
|
and then we end up with the result
|
|
|
where
|
|
|
|
|
and
|
|
|
By explicitly computing this expression for , we reproduce the result of the saddle-point approximation.
Appendix E A review of 3d Chern-Simons perturbation theory
Here we review what we will need from [1, 2, 8]. The starting point is the Chern-Simons action
|
|
|
|
|
If we define the covariant derivative as
|
|
|
|
|
then a gauge transformation associated with the group element will act as
|
|
|
|
|
|
|
|
|
|
This can also be expressed as
|
|
|
|
|
We have BRST variations
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
The partition function can be computed perturbatively in by expanding the action to quadratic order around the saddle points.
One expands the gauge potential around a flat connection ,
|
|
|
|
|
Since we are not interested in gauge transforming the flat connection to zero (if we do that, then we change the boundary conditions of the fields), it is natural to impose the following gauge transformation rules for these new fields,
|
|
|
|
|
|
|
|
|
|
meaning that we can only rotate the flat connection (in particular we can diagonalize it), but not gauge transform it to zero. On the other hand, the fluctuation field is now a gauge potential that we need to gauge fix. We define a derivative
|
|
|
and consider the following nilpotent BRST variations
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
We add the gauge fixing term
|
|
|
|
|
which we will write as
|
|
|
|
|
We now see that we could also have used the original BRST variations and the full covariant derivative . Then we would get the same gauge fixing action with higher order correction terms, which would play no role for the 1-loop computation.
By multiplying by an overall constant , the full BRST gauge fixed action becomes of the form
|
|
|
|
|
We can write part of this action as
|
|
|
The matrix operator that enters in this expression has the square
|
|
|
|
|
(E.1) |
One may also notice that the operator we just squared, is nothing but , which is defined from by restriction to odd forms. If and denote a one-form and a three-form, with coefficients and , then we find that
|
|
|
|
|
If we then write , then we find that
|
|
|
|
|
The contribution from the flat connection to the partition function becomes
|
|
|
Moreover,
|
|
|
|
|
where, from the APS index theorem,
|
|
|
|
|
Thus this phase factor can be absorbed by shifting
|
|
|
Let us return to the absolute value of the partition function. From (E.1) together with the ghost contribution, we get
|
|
|
If we take away the zero modes, this is the oscillator mode contribution to the square root of the RS torsion.
E.1 The dependence on the Chern-Simons level
To derive the -dependence, all we need to do, is to extract the -dependence from the kinetic term inside the Chern-Simons term. The path integral gives the factor
|
|
|
|
|
|
|
|
|
|
If we assume that , there will be no bosonic zero modes of the operator and the zero mode problem can be avoided. And then this gives the correct -dependence. More specifically, is the dimension of times the dimension of the unbroken gauge group in the background of the flat connection .
Let us finally review the computation of the perturbative partition function for gauge group on lens space . There are flat connections
for . We shall divide by the isotropy group of unbroken gauge symmetries when we turn on the flat connection. When the isotropy group is as no gauge symmetry is broken. When the isotropy group is .
Since the classical Chern-Simons action is normalized as
|
|
|
which is off the canonical normalization by the factor of , the perturbative computation of the path integral will give the result (assuming that is odd)
|
|
|
|
|
We restrict the sum to run over following Eq (2.18) in [7], Eq (4.17) in [9], and [8]. Here the RS torsions are given by
|
|
|
|
|
the power 3 because there are three generators of , and
|
|
|
|
|
The volume of with unit radius is and the length of the equator is .
Using and , and by comparing with the known exact result to be presented in below, we get
|
|
|
|
|
|
|
|
|
|
This is consistent with taking the radius of as
|
|
|
|
|
E.2 The exact result
For gauge group, the exact result for the partition function on is given by
|
|
|
|
|
where is the contour
|
|
|
|
|
for . (This result can be extracted from Eq (5.38) in [2] by taking , , and in the expression there.) Here
|
|
|
|
|
where is the shifted Chern-Simons level.
For the formula reproduces the famous result [1]
|
|
|
|
|
for the partition function on .
For generic , the integrals can also be computed exactly with the following result
|
|
|
|
|
To also see the shift from to we would need to compute the eta invariant.
Because the term has different leading term asymptotics from the terms with , we separate the sum into these two pieces and pick up only the leading term from each piece
|
|
|
|
|
|
|
|
|
|
and
|
|
|
|
|
|
|
|
|
|
There will be an order contribution to as well, but we can ignore that since each -sector can be studied on its own. By a complex conjugation , we have now obtained Eq (2.37) in [8].
The result in [8] was presented for odd . In that case, the sum can be replaced by twice of half of the sum as
|
|
|
On the other hand, if is even, then the RS torsion is vanishing for and we can write
|
|
|
in agreement with [7].